Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
261	Project Description 1 System design with behavior tables Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:19:23 Models of computation Logic in computer science Programming language semantics Mathematical logic Denotational semantics Formal grammar Actor model Sheaf Table Mathematics Theoretical computer science Applied mathematics
262	ALBERT R. MEYER Curriculum Vitae Hitachi America Professor of Engineering Dept. of Electrical Engineering and Computer Science Massachusetts Institute of Technology April 30, 2004 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2004-04-30 14:00:21 Models of computation Logic in computer science Denotational semantics ACM SIGACT Theory of computation Symposium on Theory of Computing Information and Computation Logic programming Turing Award Computer science Theoretical computer science Applied mathematics
263	Curriculum Vitae Dr. Klaus Havelund Ph.D in Computer Science Senior Research Scientist (SRS) at NASA’s Jet Propulsion Laboratory California Institute of Technology (Caltech) Email: [removed] Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-06-16 09:55:49 Software engineering Runtime verification Formal verification Prototype Verification System Verification and validation Software development process Actor model Denotational semantics Java Pathfinder Formal methods Theoretical computer science Computing
264	Authors’ accepted version for publication in Formal Aspects of Computing The final publication is available at springerlink.com The Behavioural Semantics of Event-B Refinement Steve Schneider1 , Helen Treharne1 , Heike Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2014-04-07 11:14:04 Process calculi Denotational semantics Concurrent computing Communicating sequential processes Formal methods Philosophical logic Predicate transformer semantics Divergence Trace Mathematics Computing Theoretical computer science
265	Functional programming languages Part IV: monadic transformations, monadic programming Xavier Leroy INRIA Rocquencourt MPRI 2-4-2, 2007 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-12 03:05:56 Computing Adjoint functors Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Haskell Purely functional Declarative programming Software engineering Functional programming
266	Generalized Certicate Revocation Carl A. Gunter and Trevor Jim July 19, 1999 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 1999-08-23 16:40:12 Programming language semantics Applied mathematics Mathematics Quartz crystal microbalance Revocation list X.509 Denotational semantics Operational semantics Sheaf Theoretical computer science Public-key cryptography Logic in computer science
267	Game semantics for programs Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-02-20 07:30:38 Theoretical computer science Logic Logic in computer science Determinacy Denotational semantics Soundness Proof theory Deduction Mathematical logic
268	NOMINAL LOGIC PROGRAMMING A Dissertation Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-11-18 09:15:28 Grammar Theoretical computer science Logic in computer science Nominal terms Denotational semantics Prolog Higher-order abstract syntax Syntax Programming language Mathematics Logic Programming language theory
269	Origins of our Theory of Computation on Abstract Data Types at the Mathematical Centre, Amsterdam, [removed]J V Tucker Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, Wales, SA2 8PP Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2004-03-23 04:26:27 Mathematics Programming language semantics Formal methods Formal sciences Denotational semantics Semantics of programming languages Programming language theory Axiomatic semantics Mathematical logic Theoretical computer science Logic in computer science Applied mathematics
270	A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ Rose H. Abdul Rauf∗, Ulrich Berger, Anton Setzer‡† November 9, 2006 Abstract Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2007-02-18 18:49:57 Lambda calculus Models of computation Subroutines Logic in computer science Programming language semantics Denotational semantics Simply typed lambda calculus Higher-order function Type system Software engineering Theoretical computer science Mathematics

UPDATE